
JAVADOC_FLAGS = -author -version

JSRCS = MoCVerifier.java \
        CompositeActorResult.java \
        Message.java \
        MessageLocation.java \
        ResultMessages.java \
        ActorInstanceMessageLocation.java \
        ClassMessageLocation.java \
        ClassResult.java \
        ActorMessageLocation.java \
        CommonMoCRestrictions.java

include $(PTIJ)/mk/common.mk
